import sympy
a, b, x, y, s = symbols('alpha beta x y sigma')
